Prove uniqueness of id, have a clear sense of what the algebraic solution looks like, graphical less so

Translate proposition to symbolic form… comoposition order confusion

Implicits seem to play some role?