implement and time verify correctness
implement and time
verify correctness