[1-8] pullbacks preserve mono revisited