@complexring: Your definition