A card trick about software requirements