which denotes a proposition?​