protasis

not defined yet