`proj : bool`