Active Solitary

By Assumption