For an independent left assertion