Fixed name scheme for Mechanization