Time-Concerned Human Factors -- Enhanced Theorem Reuse by Partial Theory Inclusions --