Contract design work in F1 related domains (1)