added specific implementation for 9.4.a) and 9.4.b)