Function #66

Expressing prohibition and obligations