const conrrectnes must be enforced everywhere