Attempting to prove indentation
Completed indentation proof