Todas las observaciones hacen uso de asunciones previas, lo que puede simbolizarse como: