ltlfo2mon beta version.