* tests for lift, reducep