Converted I from a function to a proposition. Did more of progress.