updated MARKOS project theory and properties