atomic proposition or