User blog:FB100Z/Formal logic challenge