Trusting the program