Careful with subtract/3

I still do not know what ‘Novacore’ means.