Added: if true
Added: .require for right hand "type checking"