4

Representation based on FOPC 2