Local nilpotence versus local finiteness | Synapse