fixes #27
first work on annotation formalization