!Student(Mike)
!Friends(a1,a2) 
!Friends(Varun,a2) 
Friends(a1,a2)
Student(a1)
!Rockstar(Bieber)
Messup($3)
Screwup(things,)
Screwup()