added user tests for correctness
added user tests for correctness