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