it also won't say no due to this property here, because well, we have ensured that the snapshot can properly encoded, so there's no mistake in the formula here, so it can not say no because of this here.