みず さんの回答

眠い時にしか成り立たない
「よって眠って良しとする」
方程式が存在する