added new file to correctness demos