Internal Software Equality