Revision under Finite Conditions A Theory of Model Transformation in Epistemics | Synapse