proc () -> move ||