Podemos distinguir una formulación fuerte y una más débil del siguiente modo: