logical conclusions