propositus

not defined yet