Differentiate statement from proposition​