Slicing knots in definite 4-manifolds | Synapse