diff --git a/otp/isogonalconjugate.gpg b/main/isogonalconjugate.gpg
similarity index 100%
rename from otp/isogonalconjugate.gpg
rename to main/isogonalconjugate.gpg
diff --git a/otp/unprovable.gpg b/main/unprovable.gpg
similarity index 100%
rename from otp/unprovable.gpg
rename to main/unprovable.gpg