:UNP
Purpose
Short for "unprovable". This is a synonym of
:FAIL
.
Notes
See the documentation for
:FAIL
.