Setup Kiwi and Updated math spec