foid の存在は moid の存在を示唆しています