provable

prove

type Proof

type MoreSolutions