Logic_(symbolic) loading ...