Relspec implementation