Appendix: explicit performatives are assertions