formal-context public under binary-relation 126 List Picture As a command Nothing is filed under formal-context.