Bishop logic