Byzantine: finish intro and switch to ACM format