Logic System Administration