Derive explicit requirements from the theory section