File:AAIME Case 03 Logic 01.png