Atoms and asserts on facts