Finite Dimensional Naimark Realizations and Choice Sequences | Synapse