A Proposition of Sorts