Zaslat SMS: Relative Frobenius algebras are groupoids