I think resolving by bases and bases of bases is working