Not null

I hear you like SFINAE...
At a minimum I'd give a 5-line example of declaring a not_null, initializing it, and passing it to a function when it is dereferenced.