It's the converse. You are seeing if a then b. where a is your program and b is your problem. I think the monks want to see if b then a. ( the converse ) I'm definitely contra-positive about that.