"Valley Forge"@cs .