WalHS computes the correct means