Symmetric_Boolean_function loading ...