You are basically trying to explain the difference between a conforming program and a strictly conforming one.