A logical explaination