Compact composition operators on model spaces | Synapse