つまり、

ペンローズの豆は腐る。