Path consistency