3.15 Consistent Dependent 2a