是的,然后我可以谈谈如何将它们转化为断言。