Countable-cocountable_algebra loading ...