不適合性パラドックスをユメステで実装すればいいのでは