Text this: P-functions and Boolean matrix factorization :