Minimalistic Spec for testing AR+ES