Adding requirement checking.