User blog comment:Vel!/Formal logic challenge/@comment-5150073-20140710082719/@comment-25418284-20140715083836

It is, but can you figure out what it means?