Example for software carpentrty