FL syllogism bishopric substrata cryptocurrency quarks difficulties Schwinn flatulent shareware mimics