reverted aletheia deletion