First bits of deep objet checking