more informative message for presence invariant of Boolean attrs