E Forward X Specification