README.md: forgot that we already mentioned about satisfy