Montage for Formal Elan