; portal generator can't be used to craft anything.