<b_jonas> slashlearn password//The password of the month contains chemicals known to the State of California to cause cancer and birth defects or other reproductive harm.

"per Martin-Löf" is a common citation lazy logicians use when they don't want to prove their theorems. It rarely gets past peer review.