prerequisite Deductions direct proportionality has part prerequisite ⇐ (direct proportionality is subclass of dependency), (dependency has part prerequisite)