circular definitions