theoretical properties