best version so far
Merge branch 'brent' of github.com:MGM-KTH/intfact into brent