JLogos


definable