Some formalization of pretend request handling