Ritchey Logic Complete