E
tool - target
editor - editive
proof - math
frontend - UI
-
passive
#D