Lo demás es deducción.