Uses an iterative algorithm to deduce