The basic library files include a parameter module and a startup module providing a logical universe and equality.