atomic proposition