Teorems

Nothing equals NULL; not even NULL equals NULL!