Projection, identification, and bi-logic