Synopsis Logic

Synopsis logic complete.