Mathematical theory (2015)