bicompleteness