4:2b.3a Implicit derivering