A recursive characterization of truncated matrix-valued K -moment sequences | Synapse