#include <satisfier>

Suppose_literal (points_can_be_seperated_by_open_sets, true);
Suppose_literal (M_is_second_countable, true);