Dado o sistema, um valor que não o satisfaz é