Abstract I consider a problem for functional reductionism based on the following tension. Say that b is functionally reduced to . On one hand, and turn out be identical, identity symmetric relation. other implies are asymmetrically related: if , then not Thus we ask, how can related they same thing? propose solution this tension by distinguishing between ontological levels of description.