Definition:Valid (Boolean Interpretation)