Create InversionWithoutTactic.v