Boolean_algebra loading ...