this should probably be outside the `Then`