added concrete examples for procedure