documenting logical forms
references #18