Formula syncron vs solemn judgement