add some props and proofs (draft, incomplete, false?)