( E | ti,