Add some laws about how isos are epi and mono