Our logic