Updated 'logical sentence' to 'proposition'. Last commit/push for review.