Expirements for Option/Full/Empty classes and interfaces