Definition:Bottom/Boolean Interpretation