Quinferencing and other thoughts