"Plotinus"@cs .