Protasis definitions