Be logic