looks logically correct.