You do not have access to this note.

5.3 Advanced Boolean Translations