[1] modularized defs