Title: Implied Spaces Lib/E