make is_term Prop again