Text this: Spectrahedral shadows and completely positive maps on real closed fields.