proposition language