THIS PROGRAM IS UNABLE TO SATISFY SAID PROPOSITION.