start draft on two-type approximation