id	Summary	Owner	Type	Priority	Milestone	Component
1	Lifting doesn't introduce capabilities.	benl	lemma	normal		SystemF2Effect