Probably implemented reverse inferrence in assignment