Marcus explained how the work of justification guarantees inheritance