edited style in logic