@newdefined: interesting.