Text this: Refuge used by prey as a function of predator numbers in a Leslie-type model