End User License Agreement for “Boolean Algebra-TrFo