JLogos


precondition