fixpoint
fixpoint copied to clipboard
Reification
For #35