Overlapping idealizations