sped up non-partial case of identity