~ / papers / pheight / magma /