ex12/2 partly solved