GUPSHUP
Logics_of_Nathoka