lavalamp comments on Infinitesimals: Another argument against actual infinite sets