Waverley after 51

مقادیر برنامه‌ریزی شده، مورد انتظار و مشاهده شده به طور جداگانه باقی می‌مانند. مشاهدات خالی هرگز به‌عنوان به‌موقع ارائه نمی‌شوند.