ただし、この建物は火星にあるものとする。