logic can be used for understanding.