fixing bugs and unionof axioms for a working lode view