extended tests to check correctness