The little language that supports proposition evaluation