Trimming vs Pruning - What’s the Difference & When Should They Be Done ...