Atomic proposition