Elementary proposition