in::deep productions