ADDED ATOMIC PROPOSITION