Baki Logic in a Nutshell