https://omega.taipei/contradiction/