Afonso, impressionado com a quantidade de fotos antigas na casa de seu bisavô, disse: “Se o senhor tirou todas essas fotos, então é um fotógrafo profissional”. Uma proposição logicamente equivalente à afirmação de Afonso é a seguinte: