step: taking something in is a kind of method for obtaining something & if something requires something else then that something must obtain that something else
inference: if something requires something else then that something can take in that something else