( 1257 ) C . Ullman.