formal observations