init a:bool = false b:bool = true assert( a or b ) assert( a || b )