<< ashlar assumption >>