inlet (let + in-; negation)
To let in; admit