blott en Btor matematiker utanäfven