Example: MIL bound to 1TLM