step: if something contains something else then that something else is a part of that something & if something is a part of something then that something can be found in that something
inference: if something contains something else then that something else can be found in that something