Specify resumable PUSH and better scoping