Added demontration of correctness