still thinking about forward-checking