Den förstnämnde förslagsställaren hade önskat: