Proposition that follows logically