Observer coded and specd