Better doc for theory interface