Deducciones son analíticas.