====== extensional ======