∀ (a : String) (a_1 : Option Std.Internal.IO.Async.System.UserId) (a_2 : Option Std.Internal.IO.Async.System.GroupId)
  (a_3 : Option String) (a_4 : Option System.FilePath) (b : Option String) (b_1 : Option System.FilePath),
  ¬a_3 = b →
    { username := a, userId := a_1, groupId := a_2, shell := a_3, homeDir := a_4 } =
        { username := a, userId := a_1, groupId := a_2, shell := b, homeDir := b_1 } →
      False