J ] ef= lief)