defines your proposition