add theory doc
begin theory doc