lipp , ( 12 , 524 .)