This is the `// then` part, let's mark it so.