Knowing about true and false
Knowing about sets