;
pattern mixing