Iron Mount (Extended Version)