"Magic-Pro"@cs .