Finite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract)