Forward checking.