Before revision:  Although other Boolean counter-examples have been found recently, this result illustrates the general relevance of our method for the study of multilevel logical models.
After revision:  This result illustrates the general relevance of our method for the study of multilevel logical models.