Non-wellfounded_mereology loading ...