healhty progress on logic