was anything done with solving zooko's triangle?