4:2b.3 Implicit derivering