Symmetric_closure loading ...