strict and lazy maps