うーーーん

3:57 AM

むしろwithExtendedLifetimeという関数が存在することが、命題が真であることの裏付けであると言える気がしていて