Added one proposition