renamed the views

renamed views for logics :3