module Pascaligo = Pascaligo module Cameligo = Cameligo module Reasonligo = Reasonligo