added some math to spec