changing constants in correctness demo