It'd be better to print a string, how about `"Cyber invariant is " << I1 ? "true" : "false" <<`

Same for the physical invariant, below