map [ entry "OH": "Ohio", [ entry "AK": "Alaska", [ entry "IA": "Iowa", [ ] ] ] ] contains key "AK" = True

Start from the conclusion and work back up the proof. Click the arrow to show the parents.