clarifications of basic properties