Hi. I like maths and chess and Python programming. I am interested in whether certain statements provable in ZFC are provable in ZF.