some theorems about interprets when applied to 0 or 1 arguments