towards rezk completion