team semantics is three-valued, in the sense that a formula may happen to be positively satisfied by a team on a given structure, or negatively satisfied by it, or neither. the semantics clauses for positive and negative satisfaction are defined by simultaneous induction on the synctactical structure of if formulas.