Axiom W

Axiom W lyder: "Det är bara en person som heter Walter som skulle göra det"

Detta axiom går att använda till att urskilja personer som är Walter eller inte genom att se om de skulle göra så eller inte.