Those three are important differentiating points. Thank you.

My understanding has been that, even if you modify/fork your full node to not validate your invalid tx, the first peers receiving the tx will notice it's invalid and the tx will never get past through the first point of contract, therefor not flooding the network. This means, the full nodes also validate the tx's received to the mempool, right?