tuned list comprehension, changed filter syntax from : to <-
tuned list comprehension, changed filter syntax from : to <-

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle