x 0 `l^E