elementary proposition