operation definition now properly reacts to default/delete (vanishes)