label() for error message replacement
Optional label string for or()