User blog comment:Vel!/Formal logic challenge/@comment-1605058-20140710070627/@comment-25418284-20140710160102

...

I meant to say "surjective."

...

facepalm