let
valid_base = [(
Prog
,
Superior
1)]