quadruplicaverimus