Interesting how "formal" sometimes means "the following is very precise", and sometimes means "the following is deliberately supposed to be meaningless"