LogicAnalysis's following