nominal quines evaluates to quines