proposition

open override val proposition: Proposition