source: [□=□] □ □ □
destination: [lemma=□] □ □ □
spec: By limiting admissible systems to those that produce consistent theorems , potentially universal agreement is assured . ” Some hang way too much on that phrase and create the idiocy known as “ social Darwinism , ” which we cna ignore here .