Added note about elaboration to fully explicit form