Competence matters at execution time: people — or other models people use — must know whether the system is actually running according to the spec that followed Attentiveness and Responsibility.