i != 0 && 10/i > 2

i && 1
b && 1

while (1)

/*

/*
    ......
    /*

    */
*/

/*
    /*

    */
*/


invariáns


A a = new A();
a = new A();

A a2 = a;

A b = a.clone();
A c = new A(a);


String s = "abc";
String s2 = "abc";
s2 == s