selmer as module