Logic II proof - Open University (Bletchley)