suesas-sciencechallenge |Universal logical methods #entry 1