generated at
closed-world assumption