Logic at Botik