There are a number of terms that have hand-coded linearisations. We should attempt to remove them!
There are a number of terms that have hand-coded linearisations. We should attempt to remove them!