040_formal properties 2