Added predicate logic transformational proof keywords