More FRWL proofs; Iran; Aztecs; Columbus;