proposition

abstract val proposition: Proposition