examples (in theory)