是的,然後我可以談談如何將它們轉化為斷言。