Examples from OpenFTA are done.