"Raphael Bousso"@cs .