These four have a really bad name. You know, after a while, this is expected to be exported in the API, and know what plugin writers will say? "Who the hell gave it such a stupid name". :P

Name them in full.