"Lucifer and Lacious"@cs .