Lo anterior podría reescribirse en lenguaje común como: