def one_quarter_right_rotation_escalators(escalator):
    """
    Return the escalator coordinates rotated by 1/4. This assumes the escalator is defined for a 4×4 board.
    """
    return ((escalator[0][1], 4 - (escalator[0][0] + 1)), (escalator[1][1], 4 - (escalator[1][0] + 1)))