* added falsifying valuations (to be continued.)