weird errors with union bounds