not allow empty judgements