Text this: Direct measurement of proximity-induced magnetism at the interface between a topological insulator and a ferromagnet.