Upper and Lower Bounds (using Formulae/ Motion)