revised checking types 5.4