shared knowledge
:- [facts].
slide
:
shared knowledge