“Moses did exactly as the LORD had commanded him.” (Exodus 40:16, NAB)