Symbol: is_monop