Title: Reconciling logical incrementalism and synoptic formalism