Added procedural examples