Where's `Then`?