when writting a program and you have concerns about wheather or not a certain function in the real world is working or not i find that if you make the input prove itself by using the inverse operation in another rung you are assured your system is pretty fool proof it means alittle more thought but after all isn't this why we use a plc?