booleans, checking types, etc.