I don't believe the value can be reducible, or I d...
# kotest
p
I don't believe the value can be reducible, or I don't want to reduce it anyway