"Project Logic"@cs .