decidable.v 9 KB