the girk is deduced

.