__group__ ticket summary component status resolution version type priority owner modified _time _reporter 1 Lifting doesn't introduce capabilities. SystemF2Effect new lemma normal benl 2013-01-28T10:27:59Z 10:20:49Z benl