Change Logic-Format.