Definition:Top/Boolean Interpretation