Add checks; explicit types