adding theory manual in response to #334