Charbel-Raphaël comments on formal alignment: what it is, and some proposals