define COUNTER3( a?, p!, q! ) = pref *[ a?; p!; a?; p!; a?; q! ] end