CannotProve complete
draft 1 of rules complete