Minus 8 Isabelle

.