abstracting basis rep