Lib-rts säger , attmini-