Formal principles: Some replies to critics | Synapse