Finished - for Type(?a, ?C), which both ?a and ?C are empty.