Appendix:Variations of "cong"