Working on backtracking with ==> and <==>.