Due to confusion arisen from "iff" standing for "if and only if",
this commit uses the latter.