Trying to actually prove things now