WASP - Math, Johan Håstad.pdf