Church modes

DEFINITION

see mode.