CompBool --> Bool should happen in an another commit...