Doc logic revisited