Logic in Motion Support