.
systemspieler wceq