de Bruijn
Drop Parameter/Return, they’re probably bogus.
Terms are Printable.
Value is Printable.