Make Agda faces somewhat readable
mc