Added propEr test for Up/Down sequences.