u
“formalisable”: representation in a computer system
u
explicit
u
exact
u
complete
u
etc.
