Cut UP-determinacy
Almost submit to MEMO