Methods of demonstrating correctness