File:AAIME Case 03 Logic 09.png