Do some forcing