Program Alignment Discipline