NLabs:10.11607/jomi.te34