the same happens if we suppose the second proposal is true today