Practical existence theorems for function classes arising from applications | Synapse