Moving Logic