should define concretely each operation in question