started with correctness part