Ironfoot (Extended Version)