colons after with, sharing, and check