User blog comment:Vel!/Formal logic challenge/@comment-24509095-20140710105128

no luck on the first one :(