union() is not written if not needed