Add northern_orthocomplement