"alive"@cs .