Square Logic