TY - JOUR AU - Sanders, Sam IS - 2 JA - Synthese PB - Springer Verlag PY - 2020 TI - Reverse formalism 16 VL - 197 ER -