unify the usage for refl and no-refl