$l4NDUCTIONS (Explicit)

$l4NDUCTIONS (Explicit)