Stav dette: Theory and practice in the "Agudeza y arte de ingenio"