working without testing for correctness