init a:bool = true b:bool = true assert( a and b ) assert( a && b )