Assumpion type front end added