Title: The Empty Mirror Lib/E